首页> 外文OA文献 >Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

【2h】

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

机译：认证的上下文无关解析：Agda中Valiant算法的形式化

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bernardy, Jean-Philippe; Jansson, Patrik;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda [J] . Jean-PhilippeBernardy, PatrikJansson Logical Methods in Computer Science . 2016,第2期

机译：认证的上下文无关解析：Agda中Valiant算法的形式化
2. Certified CYK parsing of context-free languages [J] . Denis Firsov, Tarmo Uustalu Journal of Logic and Algebraic Programming . 2014,第5a6期

机译：无需上下文的语言的经过认证的CYK解析
3. IF THE CURRENT CLIQUE ALGORITHMS ARE OPTIMAL, SO IS VALIANT'S PARSER [J] . Abboud Amir, Backurs Arturs, Williams Virginia Vassilevska SIAM Journal on Computing . 2018,第6期

机译：如果当前的Clique算法是最佳的，那么勇敢的解析器也是如此
4. Fast Stochastic Context-Free Parsing: A Stochastic Version of the Valiant Algorithm [C] . Jose-Miguel Benedi, Joan-Andreu Sanchez Iberian Conference on Pattern Recognition and Image Analysis(IbPRIA 2007) pt.1; 20070606-08; Girona(ES) . 2007

机译：快速随机上下文无关的解析：Valiant算法的随机版本
5. AN EFFICIENT CONTEXT-FREE PARSING ALGORITHM [D] . EARLEY, JAY CLARK -1

机译：一种高效的无上下文解析算法
6. Parsing Social Network Survey Data from Hidden Populations Using Stochastic Context-Free Grammars [O] . Art F. Y. Poon, Kimberly C. Brouwer, Steffanie A. Strathdee, 2009

机译：使用随机上下文无关文法解析隐藏人口的社交网络调查数据
7. Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda [O] . Bernardy, Jean-Philippe, Jansson, Patrik 2016

机译：认证的无上下文解析：Valiant算法的形式化在阿格达
8. Analysis of a Table-Driven Algorithm for Fast Context-Free Parsing. [R] . Kipps, J. R. 1988

机译：快速无上下文分析的表驱动算法分析。

Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

著录项

引文网络

相似文献

相关主题

期刊订阅